1. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
المؤلف: Puppis, Gabriele
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
2. Implementation and Application of Functional Languages
المؤلف: edited by Sven-Bodo Scholz, Olaf Chitil.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
3. Implementation and Application of Functional Languages
المؤلف: edited by Marco T. Morazán, Sven-Bodo Scholz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
4. Logic-Based Program Synthesis and Transformation
المؤلف: edited by María Alpuente.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
